Перевод: со всех языков на все языки

со всех языков на все языки

deductive evaluation

См. также в других словарях:

  • Deductive database — It is a database system which can make deductions (i.e.: conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases.… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Scientific method — …   Wikipedia

  • Bacon (Francis) and man’s two-faced kingdom — Francis Bacon and man’s two faced kingdom Antonio Pérez Ramos Two closely related but distinct tenets about Bacon’s philosophy have been all but rejected by contemporary historiography. The first is Bacon’s attachment to the so called British… …   History of philosophy

  • Datalog — is a query and rule language for deductive databases that syntactically is a subset of Prolog. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker …   Wikipedia

  • Models of scientific inquiry — In the philosophy of science, models of scientific inquiry have two functions: first, to provide a descriptive account of how scientific inquiry is carried out in practice, and second, to provide an explanatory account of why scientific inquiry… …   Wikipedia

  • empiricism — empiricist, n., adj. /em pir euh siz euhm/, n. 1. empirical method or practice. 2. Philos. the doctrine that all knowledge is derived from sense experience. Cf. rationalism (def. 2). 3. undue reliance upon experience, as in medicine; quackery. 4 …   Universalium

  • Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… …   Wikipedia

  • Charles Sanders Peirce —  B …   Wikipedia

  • LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… …   Encyclopédie Universelle

  • Inquiry — For other uses, see Public inquiry and Enquiry character. An inquiry is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»